An analysis of Existential Graphs–part 2: Beta

Abstract This paper provides an analysis of the notational difference between Beta Existential Graphs, graphical notation for quantificational logic invented by Charles S. Peirce at end 19th century, and ordinary first-order logic. thought his graphs to be “more diagrammatic” than equivalently expressive languages (including own algebras) The reason this, he claimed, is that less room afforded in Graphs different ways representing same fact. turn, are a non-linear , occurrence-referential notation. As notation, each graph corresponds class logically equivalent but syntactically distinct sentences obtained permuting those elements (sentential variables, predicate expressions, quantifiers) lie area. which identity reference two or more variables asserted. In brief, Peirce’s diagrammatic linear, type-referential because function translates latter does not define isomorphism notations.